l <= J
J + 1 <= K
I + 1 <= K
